Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

Source URL: rjoshi.org

• Computing
• Software quality
• Engineering
• Reliability engineering
• Software engineering
• Design for X
• Materials science
• Survival analysis
• Fault tolerance
• Redundancy
• Software design
• Modular programming

Collapsing Towers of Interpreters NADA AMIN, University of Cambridge, UK TIARK ROMPF, Purdue University, USA Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input prog

Source URL: lampwww.epfl.ch

• Software engineering
• Computing
• Declarative programming
• Functional programming
• Lambda calculus
• Data types
• Models of computation
• Exponentials
• Eval
• Interpreter
• Scheme
• Exponential function

Subject: Request to Attend Black Hat USA Conference 2017 Dear [decision maker name], I’m writing to request your approval for me to attend the Black Hat USA Information Security Conference to be held July 22-27, 2017 i

Source URL: www.blackhat.com

• Prevention
• Crime prevention
• Cryptography
• Information governance
• National security
• Security engineering
• Security
• Computer security
• Black Hat Briefings
• Information security

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Directed graph
• Graph
• Centrality
• Topological graph theory
• Degree
• Sequence
• Sequential pattern mining
• Directed acyclic graph
• Pathwidth

1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA

Source URL: www.ece.northwestern.edu

• Mathematics
• Algebra
• Fractals
• L-system
• Fractal curves
• Hygienic macro
• Arity
• Constructible universe

Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

Source URL: users.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

Source URL: qav.comlab.ox.ac.uk

• Cardiac electrophysiology
• Medicine
• Physiology
• Circulatory system
• Artificial cardiac pacemaker
• QT interval
• Electrocardiography
• Heart arrhythmia
• Cardiac pacemaker
• Atrioventricular block
• Pacing

PDF Document

Source URL: nwri-usa.org

PDF Document

Source URL: www.nwri-usa.org